Methods and systems for preparing mixed-content documents

ABSTRACT

Embodiments of the present invention are directed to automated methods and systems for generating mixed-content documents. In one embodiment, an automated method for generating a document layout includes receiving raw text, figures, references, and semantic information as input ( 901 ), and determining an allocation ( 1003 ) of text, figures, and references for each page of a document. The method also includes, for each page of the document, determining a template ( 1005 ) for displaying the allocation assigned to the page, and scaling template fields to exhibit the text, figures, and references assigned to the page. The method then renders ( 1007 ) the document with text, figures, and references allocated to each page within appropriate scaled template fields of the template selected for each page.

TECHNICAL FIELD

Embodiments of the present invention relate to document layout, and in particular, to automated methods and system for determining a document layout.

BACKGROUND

A mixed-content document can be organized to display a combination of text, images, headers, sidebars, or any other elements that are typically dimensioned and arranged to display information to a reader in a coherent, informative, and visually aesthetic manner. Mixed-content documents can be in printed or electronic form. Examples of mixed-content documents include articles, flyers, business cards, newsletters, website displays, brochures, single or multi page advertisements, envelopes, and magazine covers just to name a few. In order to design a layout for a mixed-content document, a document designer selects for each page of the document a number of elements, element dimensions, spacing between elements called “white space,” font size and style for text, background, colors, and an arrangement of the elements.

In recent years, advances in computing devices have accelerated the growth and development of software-based document layout design tools and, as a result, increased the efficiency with which mixed-content documents can be produced. A first type of design tool uses a set of gridlines that can be seen in the document design process but are invisible to the document reader. The gridlines are used to align elements on a page, allow for flexibility by enabling a designer to position elements within a document, and even allow a designer to extend portions of elements outside of the guidelines, depending on how much variation the designer would like to incorporate into the document layout. A second type of document layout design tool is a template. Typical design tools present a document designer with a variety of different templates to choose from for each page of the document. FIG. 1 shows an example of a template 100 for a single page of a mixed-content document. The template 100 includes two image fields 101 and 102, three text fields 104-106, and a header field 108. The text, image, and header fields are separated by white spaces. A white space is a blank region of a template separating two fields, such as white space 110 separating image field 101 from text field 105. A designer can select the template 100 from a set of other templates, input image data to fill the image fields 101 and text data to fill the text fields 104-106 and the header 108.

However, many steps in organizing and determining an overall layout of an entire document continue to require numerous tasks that have to be completed by the document designer. For example, it is often the case that the dimensions of template fields are fixed, making it difficult for document designers to resize images and arrange text to fill particular fields creating image and text overflows, cropping, or other unpleasant scaling issues. FIG. 2 shows the template 100 where two images, represented by dashed-line boxes 201 and 202, are selected for display in the image fields 101 and 102. As shown in the example of FIG. 2, the images 201 and 202 do not fit appropriately within the boundaries of the image fields 101 and 102. With regard to the image 201, a design tool may be configured to crop the image 201 to fit within the boundaries of the image field 101 by discarding peripheral, but visually import, portions of the image 201, or the design tool may attempt to fit the image 201 within the image field 101 by rescaling the aspect ratio of the image 201, resulting in a visually displeasing distorted image 201. Because image 202 fits within the boundaries of image field 102 with room to spare, white spaces 204 and 206 separating the image 202 from the text fields 104 and 106 exceed the size of the white spaces separating other elements in the template 100 resulting in a visually distracting uneven distribution of the elements. The design tool may attempt to correct for this problem by rescaling the aspect ratio of the image 202 to fit within the boundaries of the image field 102, also resulting in a visually displeasing distorted image 202.

Document designers and users of document-layout software continue to seek enhancements in document layout design methods and systems.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 shows an example of a template for a single page of a mixed-content document.

FIG. 2 shows the template shown in FIG. 1 with two images selected for display in the image fields.

FIG. 3A shows an exemplary representation of a first single page template with dimensions identified in accordance with embodiments of the present invention.

FIG. 3B shows vector characterization of template parameters and dimensions of an image and white spaces associated with the template shown in FIG. 3A in accordance with embodiments of the present invention.

FIG. 4A shows an exemplary representation of a second single page template with dimensions identified in accordance with embodiments of the present invention.

FIG. 4B shows vector characterization of template parameters and dimensions of images and white spaces associated with the template shown in FIG. 4A in accordance with embodiments of the present invention.

FIG. 5A shows an exemplary representation of a third single page template with dimensions identified in accordance with embodiments of the present invention.

FIG. 5B shows vector characterization of template parameters and dimensions of images and white spaces associated with the template shown in FIG. 5A in accordance with embodiments of the present invention.

FIG. 6 shows an example of generating an optimized document layout from raw input in accordance with embodiments of the present invention.

FIG. 7 shows a Bayesian network characterizing conditional independencies of allocations, templates, and template parameters in accordance with embodiments of the present invention.

FIG. 8 shows an exemplary plot of a normal distribution for three different variances in accordance with embodiments of the present invention.

FIG. 9 shows a control-flow diagram of a method for generating a document layout in accordance with embodiments of the present invention.

FIG. 10 shows a control-flow diagram of a method for executing a step in the control-flow diagram of FIG. 9 in accordance with embodiments of the present invention.

FIG. 11 shows a control-flow diagram of a method executing a step in the control-flow diagram of FIG. 10 in accordance with embodiments of the present invention.

FIG. 12 shows a schematic representation of a computing device configured in accordance with embodiments of the present invention.

DETAILED DESCRIPTION

Embodiments of the present invention are directed to automated methods and systems for generating mixed-content documents. Methods and systems include automatically allocating text and images per page, automatically selecting templates for each page, and automatically scaling images, setting page design elements, and dimensioning whitespaces. These methods and systems are based on maximizing a joint probability distribution that characterizes optimal text and figure allocations per page, optimal template selection per page, and optimal template element dimensions and spacing per page.

Embodiments of the present invention are mathematical in nature and, for this reason, are described below with reference to numerous equations and graphical illustrations. In particular, embodiments of the present invention are based on Bayesian networks and Bayes' Theorem from the probability theory branch of mathematics. Although mathematical expressions alone may be sufficient to fully describe and characterize embodiments of the present invention to those skilled in the art, the more graphical, problem oriented examples, and control-flow-diagram approaches included in the following discussion are intended to illustrate embodiments of the present invention so that the present invention may be accessible to readers with various backgrounds. In order to assist in understanding descriptions of various embodiments of the present invention, an overview of Bayes' Theorem is provided in a first subsection, template parameters are introduced in a second subsection, probabilistic methods for optimizing document layout is presented in a third subsection, and an implementation is presented in a fourth subsection.

An Overview of Bayes' Theorem and Notation from Probability Theory

Readers already familiar with Bayes' Theorem and other related concepts from probability theory can skip this subsection and proceed to the next subsection titled Template Parameters. This subsection is intended to provide readers who are unfamiliar with Bayes' Theorem a basis for understanding relevant terminology, notation, and provide a basis for understanding how Bayes' Theorem is used to determine document template parameters as described below. For the sake of simplicity, Bayes' theorem and related topics are described below with reference to sample spaces with discrete events, but one skilled in the art will recognize that these concepts can be extended to sample spaces with continuous distributions of events.

A description of probability begins with a sample space S, which is the mathematical counterpart of an experiment and mathematically serves as a universal set for all possible outcomes of an experiment. For example, a discrete sample space can be composed of all the possible outcomes of tossing a fair coin two times and is represented by: S={HH,HT,TH,TT} where H represents the outcome heads, and T represents the outcome tails. An event is a set of outcomes, or a subset of a sample space, to which a probability is assigned. A simple event is a single element of the sample space S, such as the event “both coins are tails” TT, or an event can be a larger subset of S, such as the event “at least one coin toss is tails” comprising the three simple events HT, TH, and TT.

The probability of an event E, denoted by P(E), satisfies the condition 0≦P(E)≦1 and is the sum of the probabilities associated with the simple events comprising the event E. For example, the probability of observing each of the simple events of the set S, representing the outcomes of tossing a fair coin two times, is ¼. The probability of the event “at least one coin is heads” is ¾ (i.e., ¼+¼+¼, which are the probabilities of the simple events HH, HT, and TH, respectively).

Bayes' Theorem provides a formula for calculating conditional probabilities. A conditional probability is the probability of the occurance of some event A, based on the occurrence of a different event B. Conditional probability can be defined by the following equation:

${P\left( {A❘B} \right)} = \frac{P\left( {A\bigcap B} \right)}{P(B)}$ where P(A|B) is read as “the probability of the event A, given the occurance of the event B,”

P(A∩B) is read as “the probability of the events A and B both occurring,” and

P(B) is simple the probability of the event B occurring regardless of whether or not the event A occurs.

For an example of conditional probabilities, consider a club with four male and five female charter members that elects two women and three men to membership. From the total of 14 members, one person is selected at random, and suppose it is known that the person selected is a charter member. Now consider the question of what is the probability the person selected is male? In other words, given that we already know the person selected is a charter member, what is the probability the person selected at random is male? In terms of the conditional probability, B is the event “the person selected is a charter member,” and A is the event “the person selected is male.” According to the formula for conditional probability: P(B)=9/14, and P(A∩B)=7/14 Thus, the probability of the person selected at random is male given that the person selected is a charter member is:

${P\left( A \middle| B \right)} = {\frac{P\left( {A\bigcap B} \right)}{P(B)} = {\frac{7/14}{9/14} = \frac{7}{9}}}$

Bayes' theorem relates the conditional probability of the event A given the event B to the probability of the event B given the event A. In other words, Bayes'theorem relates the conditional probabilities P(A|B) and P(B|A) in a single mathematical expression as follows:

${P\left( A \middle| B \right)} = \frac{{P\left( B \middle| A \right)}{P(A)}}{P(B)}$ P(A) is a prior probability of the event A. It is called the “prior” because it does not take into account the occurance of the event B. P(B|A) is the conditional probability of observing the event B given the observation of the event A. P(A|B) is the conditional probability of observing the event A given the observation of the event B. It is called the “posterior” because it depends from, or is observed after, the occurance of the event B. P(B) is a prior probability of the event B, and can serve as a normalizing constant.

For an exemplary application of Bayes' theorem consider two urns containing colored balls as specified in Table I:

TABLE I Urn Red Yellow Blue 1 3 4 2 2 1 2 3 Suppose one of the urns is selected at random and a blue ball is removed. Bayes' theorem can be used to determine the probability the ball came from urn 1. Let B denote the event “ball selected is blue.” To account for the occurrence of B there are two hypotheses: A₁ is the event urn 1 is selected, and A₂ is the event urn 2 is selected. Because the urn is selected at random, P(A ₁)=P(A ₂)=1/2 Based on the entries in Table I, conditional probabilities also give: P(B|A ₁)=2/9, and P(B|A ₂)=3/6 The probability of the event “ball selected is blue,” regardless of which urn is selected, is

$\begin{matrix} {{P(B)} = {{{P\left( B \middle| A_{1} \right)}{P\left( A_{1} \right)}} + {{P\left( B \middle| A_{2} \right)}{P\left( A_{2} \right)}}}} \\ {= {{{\left( {2/9} \right)\left( {1/2} \right)} + {\left( {3/6} \right)\left( {1/2} \right)}} = {13/27}}} \end{matrix}$ Thus, according to Bayes' theorem, the probability the blue ball came from urn 1 is given by:

${P\left( A_{i} \middle| B \right)} = {\frac{{P\left( B \middle| A_{1} \right)}{P\left( A_{1} \right)}}{P(B)} = {\frac{\left( {2/9} \right)\left( {1/2} \right)}{13/27} = \frac{3}{13}}}$

Template Parameters

In this subsection, template parameters used to obtain dimensions of image fields and white spaces of a document template are described with reference to just three exemplary document templates. The three examples described below are not intended to be exhaustive of the nearly limitless possible dimensions and arrangements of template elements. Instead, the examples described in this subsection are intended to merely provide a basic understanding of how the dimensions of elements of a template can be characterized in accordance with embodiments of the present invention, and are intended to introduce the reader to the terminology and notation used to represent template parameters and dimensions of document templates. Note that template parameters are not used to change the dimensions of the text fields or the overall dimensions of the templates. Template parameters are formally determined using probabilistic methods and systems described below in the subsequent subsection.

Document templates represent the arrangement elements for displaying text and images for each page of the document. FIG. 3A shows an exemplary representation of a first single page template 300 with dimensions identified in accordance with embodiments of the present invention. Template 300 includes an image field 302, a first text field 304, and a second text field 306. The width and height of the template 300 are fixed values represented by constants W and H, respectively. Widths of margins 308 and 310, m_(w1) and m_(w2), extending in the y-direction are variable, and widths of top and bottom margins 312 and 314, m_(h1) and m_(h2), extending in the x-direction are variable. Note that templates may include a constraint on the minimum margin width below which the margins cannot be reduced. The dimensions of text fields 304 and 306 are also fixed with the heights denoted by H_(p1) and H_(p2), respectively. As shown in the example of FIG. 3A, the scaled height and width dimensions of an image placed in the image field 302 are represented by θ_(f)h_(f) and θ_(f)w_(f), respectively, where h_(f) and w_(f) represent the height and width of the image, and θ_(f) is a single template parameter used to scale both the height h_(f) and width w_(f) of the image. Note that using a single scale factor θ_(f) to adjust both the height and width of an image reduces image distortion, which is normally associated with adjusting the aspect ratio of an image in order to fit the image within an image field. FIG. 3A also includes a template parameter θ_(fp) that scales the width of the white space 316, and a template parameter θ_(p) that scales the width of the white space 318.

The template parameters and dimensions of an image and white space associated with the template 300 can be characterized by vectors shown in FIG. 3B in accordance with embodiments of the present invention. The parameter vector Θ includes three template parameters θ_(f), θ_(fp), and θ_(p), associated with adjusting the dimensions of the image field 302 and the white spaces 316 and 318 and includes the variable margin values m_(w1), m_(w2), m_(h1), and m_(h2). Vector elements of vector x ₁ represent dimensions of the image displayed in the image field 302 and margins in the x-direction, and vector elements of vector y ₁ represent dimensions of the image, white spaces, and margins in the y-direction. The vector elements of the vectors x ₁ and y ₁ are selected to correspond to the template parameters of the parameter vector Θ as follows. Because both the width w_(f) and the height h_(f) of the image are scaled by the same parameter θ_(f), as described above, the first vector elements of x ₁ and y ₁ are w_(f) and h_(f), respectively. The only other dimensions varied in the template 300 are the widths of the white spaces 316 and 318, which are varied in the y-direction, and the margins which are varied in the x- and y-directions. For x ₁, the two vector elements corresponding to the parameters θ_(fp) and θ_(p) are “0,” the two vector elements corresponding to the margins m_(w1) and m_(w2) are “1,” and the two vector elements corresponding to the margins m_(h1) and m_(h2) are “0.” For y ₁, the two vector elements corresponding to the parameters θ_(fp) and θ_(p) are “1,” the two vector elements corresponding to the margins m_(w1) and m_(w2) are “0,” and the two vector elements corresponding to the margins m_(h1) and m_(h2) are “1.”

The vector elements of x ₁ and y ₁ are arranged to correspond to the parameters of the vector Θ in order to satisfy the following condition in the x-direction: Θ ^(T) x ₁ −W ₁≈0 and the following condition in the y-direction: Θ ^(T) y ₁ −H ₁≈0 where

Θ ^(T) x ₁=θ_(f)w_(f)+m_(w1)+m_(w2) is the scaled width of the image displayed in the image field 302;

W₁=W is a variable corresponding to the space available to the image displayed in the image field 302 in the x-direction;

Θ ^(T) y ₁=θ_(f)h_(f)+θ_(fp)+θ_(p)+m_(h1)+m_(h2) is the sum of the scaled height of the image displayed in the image field 302 and the parameters associated with scaling the white spaces 316 and 318; and

H₁=H−H_(p1)−H_(p2) is a variable corresponding to the space available for the image displayed in the image field 302 and the widths of the white spaces 316 and 318 in the y-direction.

Probabilistic methods based on Bayes' theorem described below can be used to determine the template parameters so that the conditions Θ ^(T) x ₁−W₁≈0 and Θ ^(T) y ₁−H₁≈0 are satisfied.

FIG. 4A shows an exemplary representation of a second single page template 400 with dimensions identified in accordance with embodiments of the present invention. Template 400 includes a first image field 402, a second image field 404, a first text field 406, and a second text field 408. Like the template 300 described above, the template 400 width Wand height H are fixed and side margins m_(w1) and m_(w2) extending in the y-direction and top and bottom margins m_(h1) and m_(h2) extending in the x-direction are variable but are subject to minimum value constraints. The dimensions of text fields 404 and 406 are also fixed with the heights denoted by H_(p1) and H_(p2), respectively. As shown in the example of FIG. 4A, the scaled height and width dimensions of an image placed in the image field 402 are represented by θ_(f1)h_(f1) and θ_(f1)w_(f1), respectively, where h_(f1) and w_(f1) represent the height and width of the image, and θ_(f1) is a single template parameter used to scale both the height h_(f1) and width w_(f1) of the image. The scaled height and width dimensions of an image displayed in the image field 404 are represented by θ_(f2)h_(f2) and θ_(f2)w_(f2), respectively, where h_(f2) and w_(f2) represent the height and width of the image, and θ_(f2) is a single template parameter used to scale both the height h_(f2) and width w_(f2) of the image. FIG. 4A also includes a template parameter that scales the width of the white space 410, a template parameter θ_(fp) that scales the width of the white space 412, and a template parameter θ_(p) that scales the width of the white space 414.

The template parameters and dimensions of images and white spaces associated with the template 400 are characterized by vectors shown in FIG. 4B in accordance with embodiments of the present invention. The parameter vector Θ includes the five template parameters θ_(f1), θ_(f2), θ_(fp), and θ_(p) and the variable margin values m_(w1), m_(w2), m_(h1), and m_(h2). The changes to the template 400 in the x-direction are the widths of the images displayed in the image fields 402 and 404 and the width of the white space 410, which are characterized by a single vector x ₁. As shown in FIG. 4B, the first two vector elements of x ₁ are the widths w_(f1) and w_(f2) of the images displayed in the image fields 402 and 404 in the x-direction and correspond to the first two vector elements of the parameter vector Θ. The third vector element of x ₁ is “1” which accounts for the width of the white space 410 and corresponds to the third vector element of the parameter vector Θ. The fourth and fifth vector elements of x ₁ are “0,” which correspond to the fourth and fifth the vector elements of Θ. The remaining four vector elements of x ₁ corresponding to the margins m_(w1) and m_(w2) are “1” and corresponding to the margins m_(h1) and m_(h2) are “0.”

On the other hand, changes to the template 400 in the y-direction are characterized by two vectors y ₁ and y ₂, each vector accounting for changes in the height of two different images displayed in the image fields 402 and 404 and the white spaces 412 and 414. As shown in FIG. 4B, the first vector element of y ₁ is the height of the image displayed in the image field 402 and corresponds to the first vector element of the parameter vector Θ. The second vector element of y ₂ is the height of the image displayed in the image field 404 and corresponds to the second term of the parameter vector Θ. The fourth and fifth vector elements of y ₁ and y ₂ are “1” which account for the widths of the white spaces 412 and 414 and correspond to the fourth and fifth vector elements of the parameter vector Θ. The “0” vector elements of y ₁ and y ₂ correspond to the parameters that scale dimensions in the x-direction. The remaining four vector elements of y ₁ and y ₂ corresponding to the margins m_(w1) and m_(w2) are “0” and corresponding to the margins m_(h1) and m_(h2) are “1.”

As described above with reference to FIG. 4B, the vector elements of x ₁, y ₁ and y ₂ are arranged to correspond to the parameters of the vector Θ to satisfy the following condition in the x-direction: Θ ^(T) x ₁ −W ₁≈0 and the following conditions in the y-direction: Θ ^(T) y ₁ −H ₁≈0 Θ ^(T) y ₂ −H ₂≈0 where

Θ ^(T) x ₁=θ_(f1)w_(f1)+θ_(f2)w_(f2)+θ_(ff)+m_(w1)+m_(w2) is the scaled width of the images displayed in the image fields 402 and 404 and the width of the white space 410;

W₁=W is a variable corresponding to the space available for the images displayed in the image fields 402 and 404 and the white space 410 in the x-direction;

θ ^(T) y ₁=θ_(f1)=θ_(f1)+θ_(fp)+θ_(p)+m_(h1)+m_(h2) is the sum of the scaled height of the image displayed in the image field 402 and the parameters associated with scaling the white spaces 412 and 414;

Θ ^(T) y ₂=θ_(f2)h_(f2)+θ_(fp)+θ_(p)+m_(h1)+m_(h2) is the sum of the scaled height of the image displayed in the image field 404 and the parameters associated with scaling the white spaces 412 and 414,

H₁=H−H_(p1)−H_(p2) is a first variable corresponding to the space available for the image displayed in the image field 402 and the widths of the white spaces 412 and 414 in the y-direction; and

H₂=H₁ is a second variable corresponding to the space available for the image displayed in the image field 404 and the widths of the white spaces 412 and 414 in the y-direction.

Probabilistic methods based on Bayes' theorem described below can be used to determine the template parameters so that the conditions θ ^(T) x ₁−W₁≈0, θ ^(T) y ₁−H₁≈0 and θ ^(T) y ₂−H₂≈0 are satisfied.

FIG. 5A shows an exemplary representation of a single page template 500 with dimensions identified in accordance with embodiments of the present invention. Template 500 includes a first image field 502, a second image field 504, a first text field 506, a second text field 508, and a third text field 510. Like the templates 300 and 400 described above, the template width W and height H are fixed and side margins m_(w1) and m_(w2) extending in the y-direction and top and bottom margins m_(h1) and m_(h2) extending in the x-direction are variable, but are subject to minimum value constraints. The dimensions of text fields 506, 508, and 510 are also fixed with the heights denoted by H_(p1), H_(p2), and H_(p3), respectively, and the widths of the text fields 506 and 508 denoted by W_(p1) and W_(p2), respectively. As shown in the example of FIG. 5A, the scaled height and width dimensions of an image displayed in the image field 502 are represented by θ_(f1)h_(f1) and θ_(f1)w_(f1), respectively, where h_(f1) and w_(f1) represent the height and width of the image, and θ_(f1) is a single template parameter used to scale both the height h_(f1) and width w_(f1) of the image. The scaled height and width dimensions of an image displayed in the image field 504 are represented by θ_(f2)h_(f2) and θ_(f2)w_(f2), respectively, where h_(f2) and w_(f2) represent the height and width of the image, and θ_(f2) is a single template parameter used to scale both the height h_(f2) and width w_(f2) of the image. FIG. 5A also includes a template parameter θ_(fp1) that scales the width of the white space 512, a template parameter θ_(fp2) that scales the width of the white space 514, a template parameter θ_(fp3) that scales the width of the white space 516, and a template parameter θ_(fp4) that scales the width of white space 518.

The template parameters and dimensions of images and white spaces associated with the template 500 are characterized by vectors shown in FIG. 58 in accordance with embodiments of the present invention. The parameter vector Θ includes the six template parameters θ_(f1), θ_(fp1) θ_(f2), θ_(fp2) θ_(fp3), and θ_(fp4) and the variable margin values m_(w1), m_(w2), m_(h1), and m_(h2). The changes to the template 500 in the x-direction include the width of the image displayed in the image field 502 and the width of the white space 512, and separate changes in the width of the image displayed in the image field 504 and the width of the white space 514. These changes are characterized by vectors x ₁ and x ₂. As shown in FIG. 5B, the first vector element of x ₁ is the width w_(f1) and the second vector element is “1” which correspond to first two vector elements of the parameter vector Θ. The third vector element of x ₂ is the width w_(f2) and the fourth vector element is “1” which correspond to first third and fourth vector elements of the parameter vector Θ. The fifth and sixth vector elements of x ₁ and x ₂ corresponding to white spaces that scale dimensions in the y-direction are “0.” The remaining four vector elements of x ₁ and x ₂ corresponding to the margins m_(w1) and m_(w2) are “1” and corresponding to the margins m_(h1) and m_(h2) are “0.”

On the other hand, changes to the template 500 in the y-direction are also characterized by two vectors y ₁ and y ₂. As shown in FIG. 5B, the first vector element of y ₁ is the height of the image displayed in the image field 502 and corresponds to the first vector element of the parameter vector Θ. The third vector element of y ₂ is the height of the image displayed in the image field 504 and corresponds to the third term of the parameter vector Θ. The fifth and sixth vector elements of y ₁ and y ₂ are “1” which account for the widths of the white spaces 516 and 518 and correspond to the fifth and sixth vector elements of the parameter vector Θ. The vector elements of y ₁ and y ₂ corresponding to white space that scale in the x-direction are “0.” The remaining four vector elements of y ₁ and y ₂ corresponding to the margins m_(w1) and m_(w2) are “0” and corresponding to the margins m_(h1) and m_(h2) are “1.”

As described above with reference to FIG. 5B, the vector elements of x ₁, x ₂, y ₁, and y ₂ are arranged to correspond to the parameters of the vector Θ in order to satisfy the following conditions in the x-direction: Θ ^(T) x ₁ −W ₁≈0 Θ ^(T) x ₂ −W ₂≈0 and satisfy the following conditions in the y-direction: Θ ^(T) y ₁ −H ₁≈0 Θ ^(T) y ₂ −H ₂≈0 where

Θ ^(T) x ₁=θ_(f1)w_(f1)+θ_(fp1)+m_(w1)+m_(w2) is the scaled width of the images displayed in the image fields 502 and the width of the white space 512;

W₁=W−W_(p1) is a first variable corresponding to the space available for displaying an image into the image field 502 and the width of the white space 512 in the x-direction;

Θ ^(T) x ₂=θ_(f2)w_(f2)+θ_(fp2)+m_(h1)+m_(h2) is the scaled width of the image displayed in the image field 504 and the width of the white space 514;

W₂=W−W_(p2) is a second variable corresponding to the space available for displaying an image into the image field 504 and width of the white space 514 in the x-direction;

Θ ^(T) y ₁=θ_(f1)h_(f1)+θ_(fp3)+θ_(fp4)+m_(h1)+m_(h2) is the sum of the scaled height of the image displayed in the image field 402 and the parameters associated with scaling the white spaces 412 and 414;

H₁=H−H_(p2)−H_(p3) is a first variable corresponding to the space available to the height of the image displayed in image field 502 and the widths of the white spaces 516 and 518 in the y-direction;

Θ ^(T) y ₂=θ_(f2)h_(f2)+θ_(fp3)+θ_(fp4)+m_(h1)+m_(h2) is the sum of the scaled height of the image displayed in the image field 404 and the parameters associated with scaling the white spaces 412 and 414; and

H₂=H−H_(p1)−H_(p3) is a second variable corresponding to the space available to the height of the image displayed in image field 504 and the widths of the white spaces 516 and 518 in the y-direction.

Probabilistic methods based on Bayes' theorem described below can be used to determine the template parameters so that the conditions Θ ^(T) x ₁−W₁≈0, Θ ^(T) x ₂−W₂≈0, Θ ^(T) y ₁−H₁≈0, and Θ ^(T) y ₂−H₂≈0 are satisfied.

Note that the templates 300, 400, and 500 are examples representing how the number of constants associated with the space available in the x-direction W_(i) and corresponding vectors x _(i), and the number of constants associated with the space available in the y-direction H_(j) and corresponding vectors y _(j), can be determined by the number of image fields and how the image fields are arranged within the template. For example, for the template 300, shown in FIGS. 3A-3B, the template 300 is configured with a single image field resulting in a single constant W₁ and corresponding vector x ₁ and a single constant H₁ and corresponding vector y ₁. However, when the number of image fields exceeds one, the arrangement of image fields can create more that one row and/or column, and thus, the number of constants representing the space available in the x- and y-directions can be different, depending on how the image fields are arranged. For example, for the template 400, shown in FIG. 4A-4B, the image fields 402 and 404 create a single row in the x-direction so that the space available for adjusting the images placed in the image fields 402 and 404 in the x-direction can be accounted for with a single constant W₁ and the widths of the images and white space 410 can be accounted for in a single associated vector x ₁. On the other hand, as shown in FIG. 4A, the image fields 402 and 404 also create two different columns in the y-direction. Thus, the space available for separately adjusting the images placed in the image fields 402 and 404 in the y-direction can be accounted for with two different constants H₁ and H₂ and associated vectors y ₁ and y ₂. The template 500, shown in FIGS. 5A-5B, represents a case where the image fields 502 and 504 create two different rows in the x-direction and two different columns in the y-direction. Thus, in the x-direction, the space available for separately adjusting the images placed in the image fields 502 and 504 and the white spaces 512 and 514 can be accounted for with two different constants W₁ and W₂ and associated vectors x ₁ and x ₂, and in the y-direction, the space available for separately adjusting the same images and the white spaces 516 and 516 can be accounted for with two different constants H₁ and H₂ and associated vectors y ₁ and y ₂.

In summary, a template is defined for a given number of images. In particular, for a template configured with m rows and n columns of image fields, there are W₁, W₂, . . . , W_(m) constants and corresponding vectors x ₁, x ₂, . . . , x _(m) associated with the m rows, and there are H₁, H₂, . . . , H_(n) constants and corresponding vectors y ₁, y ₂, . . . , y _(n) associated with the n columns.

Probabilistic Methods for Optimizing Document Layouts

FIG. 6 and the accompanying description are intended to introduce terminology and provide a general overview of the operations performed by method and system embodiments of the present invention.

FIG. 6 shows an example of generating an optimized document layout from raw input in accordance with embodiments of the present invention. Raw input 602 comprises text, figures, references, and semantic information. The text portion of the raw input 602 is represented by rectangular blocks labeled 1T-10T, each block representing text such as one or more paragraphs or a heading, and the figures portion of the raw input 602 is represented by squares labeled 1F-5F, each square representing a figure. The raw input 602 also includes semantic information represented by lines extending between text blocks and figures. Semantic information can include which text blocks correspond to headings and which text blocks reference figures. For example, text block 1T makes reference to FIG. 1F and text blocks 9T and 10T make reference to FIG. 5F. Semantic information also identifies which text blocks and figures are associated with a reference. For example, reference 604 corresponds to text block 6T and FIG. 3F. Note the raw input does not include which text, figures, and references are to be selected for each page or how text, figures, and references are to be arranged on each page of the overall document.

Embodiments of the present invention determine an allocation of text, figures, and references for each page of the document. An allocation corresponds to the number of lines of text n_(L) and the number of figures n_(F) assigned to a page. Each page allocation is characterized by a random variable A_(j), where j is a non-negative integer used to identify a page of the document. For the first page of the document j equals “0.” A random variable is a function whose domain is a sample space and whose range is a set of real numbers. For example, referring to FIG. 6, an example of a sample space corresponding to the first page of the document can be the set: S ₀={[1T;1F],[1T,2T;1F],[1T,2T,3T;1F,2F],[1T,2T,3T,4T;1F,2F]} where each element in S₀ is a bracket listing text blocks and figures that can be allocated to the first page of the document. The random variable A₀ assigns a real value to each element in S₀. Allocations for pages 2 through P+1 are denoted by A₁ through A_(P), respectively, and are similarly defined with an allocation for a subsequent page dependent upon the allocation for the previous page. Method and system embodiments described below determine optimal allocations A₀*, A₁*, . . . , A_(P)* for each page. For example, the optimal allocation A₀* for page 1 can be the sample space element [1T,2T,3T; 1F,2F].

Returning to FIG. 6, once the optimal allocations are determined for the document, method and system embodiments determine an optimal template for each optimal allocation. FIG. 6 shows an example of a template library 606 stored in a computer readable medium. Suppose the optimal allocation A₀* for page 1 is [1T,2T,3T; 1F,2F]. There may be a number of templates in the template library 606 that can accommodate the text and figures associated with the optical allocation A₀*. These templates form a sample space of a template random variable T₀ associated with the first page. Template random variables T₁, . . . , T_(P) associated with allocations for pages 2 through P+1 are similarly defined, with the sample space of each template random variable T_(j) corresponding to a subset of templates in the template library 606. Method and system embodiments described below determine the optimal template for each of the optimal allocations.

Once an optimal template is determined for each page of the document, an optimal set of template parameters Θ _(j), associated with dimensioning and spacing template elements is determined as described below, and each page of the document is rendered. For example, returning to FIG. 6 reveals an example of a final document layout 608 for the raw input 602, hypothetically generated by methods and system of the present invention. The document layout comprises three pages. Page 1 has the optimal allocation [1T,2T,3T; 1F,2F] and an optimal template selected from the template library 608 with optimal figure and white space parameters Θ ₀. Subsequent pages 2 and 3 also correspond to optimal allocations, templates, and parameters.

Note that with the exception of the first page, allocations for subsequent pages depend on the allocation for the previous page. For example, consider once again the example allocation of text blocks and figures for the first page, [1T,2T,3T; 1F,2F]. The allocation for the second page cannot also include text blocks 1T, 2T, 3T and FIGS. 1F and 2F, because these text blocks and figures have already been assigned to the first page.

The relationships between allocations, templates, and parameters can be represented by a Bayesian network. FIG. 7 shows a Bayesian network 700 characterizing conditional independencies of the random variables associated with allocations A_(j), templates T_(j), and parameters Θ _(j) in accordance with embodiments of the present invention. Each node of the Bayesian network 700 represents a random variable corresponding to events in a sample space. For example, node 702 represents a random variable A₀ associated with a sample space of allocations for the first page, node 704 represents a random variable T₀ associated with a sample space of templates for the allocation selected for the first page, and node 706 represents the random variable vector Θ ₀ associated with a sample space of parameters for the template selected for the first page. Directional arrows in the Bayesian network independently identify conditional probabilities between nodes. For example, directional arrow 708 represents the conditional probability P( Θ ₀|T₀) for a set of parameters Θ ₀ given a template T₀, but the allocations A₁, . . . , A_(P) have more than one parent node. Thus, the conditional probability for the node 710 representing the allocation A₁ is P(A₁|A₀, Θ ₁).

Note that the Bayesian network defines an conditional independency structure. In other words, any node is conditionally independent of its non-descendent given its parent. For nodes like T₀, . . . , T_(P) the probabilities associated with these nodes P(T₀), . . . , P(T_(P)) are not conditioned on any other nodes.

A joint probability distribution that characterizes the conditional probabilities of a Bayesian network is a product of the probabilities of the parent nodes and the conditional probabilities. Thus, the joint probability distribution associated with the Bayesian network 700 is given by:

${P\left( {\left\{ T_{j} \right\},\left\{ {\overset{\_}{\Theta}}_{j} \right\},\left\{ A_{j} \right\}} \right)} = {{P\left( A_{0} \middle| {\overset{\_}{\Theta}}_{0} \right)}{P\left( {\overset{\_}{\Theta}}_{0} \middle| T_{0} \right)}{P\left( T_{0} \right)} \times {\prod\limits_{j = 1}^{P}{{P\left( {\left. A_{j} \middle| A_{j - 1} \right.,{\overset{\_}{\Theta}}_{j}} \right)}{P\left( {\overset{\_}{\Theta}}_{j} \middle| T_{j} \right)}{P\left( T_{j} \right)}}}}$ As shown in FIG. 7, allocation A₀ for the first page “0” is independent, but allocations for each of the subsequent pages depend on the allocation for the previous page. Thus, P({T_(j),},{ Θ _(j)},{A_(j)}) includes the terms P(A_(j)|A_(j-1), Θ _(j)).

Method and system embodiments of the present invention are predicated on maximizing P({T_(j)},{ Θ _(j)},{A_(j)}) with the assumption that the larger the probability P({T_(j)},{ Θ _(j)},{A_(j)}), the closer the document layout is to having the following desired document properties:

(1) each page of the document should look as good as possible to achieve overall optimal layout quality;

(2) text blocks that reference figures and the corresponding figures should appear on the same page; and

(3) the total number of pages is minimized.

In order to determine the sets {T_(j)}, { Θ _(j)}, and {A_(j)} for a document that give the maximum probability P({T_(j)},{ Θ _(j)},{A_(j)}), a maximum joint probability distribution is defined as follows:

$\begin{matrix} {{P^{*}\left( {\left\{ T_{j} \right\},\left\{ {\overset{\_}{\Theta}}_{j} \right\},\left\{ A_{j} \right\}} \right)} = {\max\limits_{\{ A_{j}\}}{{\phi\left( A_{0} \right)}{\prod\limits_{j = 1}^{P}{\phi\left( {A_{j},A_{j - 1}} \right)}}}}} & {{Equation}\mspace{14mu}(1)} \\ {{\phi\left( {A_{j},A_{j - 1}} \right)} = {\max\limits_{T_{j}}{{\psi\left( {A_{j\;},A_{j - 1},T_{j}} \right)}{P\left( T_{j} \right)}}}} & {{Equation}\mspace{14mu}(2)} \\ {{\psi\left( {A_{j},A_{j - 1},T_{j}} \right)} = {\max\limits_{{\overset{\Cup}{\Theta}}_{j}}{{P\left( {\left. A_{j} \middle| A_{j - 1} \right.,{\overset{\_}{\Theta}}_{j}} \right)}{P\left( {\overset{\_}{\Theta}}_{j} \middle| T_{j} \right)}}}} & {{Equation}\mspace{14mu}(3)} \end{matrix}$

Equations (1), (2), and (3) are used to determined optimal allocations, templates, and template parameters using the method of “belief propagation” from Bayesian methods. For the sake of simplicity, a description of determining the set {A_(j)} of optimal allocations using belief propagation is described first, followed by a description of determining an optimal template for each optimal allocation, and finally determining optimal template parameters for each template. However, in practice, optimal allocations, templates, and template parameters can also be determined simultaneously using belief propagation.

The set of allocations {A_(j)} that maximize equation (1) can be obtained by first determining the φ's. Each φ is a function of random variables, and is the maximum of a sequence of real numbers, one for each template T_(j), as described in equation (2). Hence for each A_(j) and A_(j-1) we have a maximizing template t_(j)*. For the first page, φ(A₀) is the maximum of the range of real values associated with the allocation A₀. For subsequent pages, φ(A_(j), A_(j-1)) is the maximum of the range of real values associated with the allocations A_(j) and A_(j-1).

Once the φ's have been determined, a set of recursive equations denoted by τ are used to determined the optimal allocations A₀*, A₁*, . . . , A_(P)*. First, each τ is computed recursively as follows:

${{\tau_{1}\left( A_{1} \right)} = {\max\limits_{A_{0}}{{\phi\left( A_{0} \right)}{\phi\left( {A_{1},A_{0}} \right)}}}},{{\tau_{j}\left( A_{j} \right)} = {\max\limits_{A_{j - 1}}{{\tau_{j - 1}\left( A_{j - 1} \right)}{\phi\left( {A_{j},A_{j - 1}} \right)}}}},{and}$ ${\tau_{P + 1}\left( A_{1} \right)} = {\max\limits_{A_{P}}{\tau_{p}\left( A_{P} \right)}}$ Next, after each of the j's have been recursively obtained, optimal allocations A₀*, A₁*, . . . , A_(P)* can be obtained by solving the τ_(j)'s in a reverse recursive manner as follows:

${A_{P}^{*} = {\underset{A_{P}}{argmax}\;{\tau_{P}\left( A_{P} \right)}}},{and}$ $A_{j - 1}^{*} = {\underset{A_{j - 1}}{argmax}{\tau_{j - 1}\left( A_{j - 1} \right)}{\phi\left( {A_{j}^{*},A_{j - 1}} \right)}}$ Thus, optimal allocations A₀*, A₁*, . . . , A_(P)* for maximizing the probability P*({T_(j)},{ Θ _(j)},{A_(j)}) have been determined.

After the set of optimal allocations have been determined, for each optimal allocation, equations (2) and (3) can be used to determine an optimal T_(j) and Θ _(j). For each A_(j) there is a set of T_(j)'s. Once a φ(A_(j),A_(j-1)) is determined, the corresponding T_(j) maximizes equation (2) and the corresponding template parameters Θ _(j) maximize equation (3). In equation (3), P(A_(j)|A_(j-1), Θ _(j)) is the product of layout quality, reference quality, and page qualities probabilities given by: P(A _(j) |A _(j-1), Θ _(j))=P _(Q)(A _(j) |A _(j-1), Θ _(j))P _(R)(A _(j) |A _(j-1))P _(P)(A _(j) |A _(j-1)) The conditional probability P_(Q)(A_(j)|A_(j-1), Θ _(j)) associated with layout quality is determined by a document designer. The reference quality probability can be defined as follows: P _(R)(A _(j) |A _(j-1))∝exp{−γ|R _(A) _(j) _(,A) _(j-1) |} where γ is a reference constant assigned by the document designer, and |R_(A) _(j) _(,A) _(j-1) |corresponds to the number of misplaced references due to the previous allocation A_(j-1). The page quantity probability can be defined as follows: P _(P)(A _(j) |A _(j-1))∝exp{−δ} where δ is a page constant assigned by the document designer and corresponds to a page number penalty that is used to control the overall number of pages in the final document.

Next, a closed form equation for determining the parameter vector Θ _(j) for each template is now described. This closed form description can be obtained by considering the relationship between dimensions of elements of a template with m rows of image fields and n columns of image fields and the corresponding parameter vector Θ in terms of Bayes' Theorem from probability theory as follows: P( Θ| W, H, x, y )∝P( W, H, x, y | Θ)P( Θ)  Equation (4): where W=[W ₁ ,W ₂ , . . . ,W _(m)]^(T), H=[H ₁ ,H ₂ , . . . ,H _(n)]^(T), x=[ x ₁ , x ₂ , . . . , x _(m)]^(T), y=[ y ₁ , y ₂ , . . . , y _(n)]^(T), and

the exponent T represents the transpose from matrix theory.

Vector notation is used to succinctly represent template constants W_(i) and corresponding vectors x _(i) associated with the m rows and template constants H_(j) and corresponding vectors y _(j) associated with the n columns of the template.

Equation (4) is in the form of Bayes' Theorem but with the normalizing probability P( W, H, x, y) excluded from the denominator of the right-hand side of equation (1) (e.g., see the definition of Bayes' Theorem provided in the subsection titled An Overview of Bayes' Theorem and Notation from Probability Theory). As demonstrated below, the normalizing probability P( W, H, x, y) does not contribute to determining the template parameters Θ that maximize the posterior probability P( Θ| W, H, x, y), and for this reason P( W, H, x, y) can be excluded from the denominator of the right-hand side of equation (1).

In equation (4), the term P( Θ) is the prior probability associated with the parameter vector Θ and does not take into account the occurrence of an event composed of W, H, x, and y. In certain embodiments, the prior probability can be characterized by a normal, or Gaussian, probability distribution given by:

${P\left( \overset{\_}{\Theta} \right)} \approx {{N\left( {\left. \overset{\_}{\Theta} \middle| {\overset{\_}{\Theta}}_{1} \right.,\Lambda_{1}^{- 1}} \right)}{N\left( {\left. \overset{\_}{\Theta} \middle| {\overset{\_}{\Theta}}_{2} \right.,\Lambda_{2}^{- 1}} \right)}} \propto {{\exp\left( {\left( {{\overset{\_}{\Theta}}_{1} - \overset{\_}{\Theta}} \right)^{T}\frac{\Lambda_{1}}{2}\left( {{\overset{\_}{\Theta}}_{1} - \overset{\_}{\Theta}} \right)} \right)}{\exp\left( {\left( {{\overset{\_}{\Theta}}_{2} - \overset{\_}{\Theta}} \right)^{T}\frac{\Lambda_{2}}{2}\left( {{\overset{\_}{\Theta}}_{2} - \overset{\_}{\Theta}} \right)} \right)}}$ where

Θ ₁ is a vector composed of independent mean values for the parameters set by a document designer;

Λ₁ is a diagonal matrix of variances for the independent parameters set by the document designer;

Λ₂=C^(T)Δ^(T)ΔC is a non-diagonal covariance matrix for dependent parameters; and

Θ ₂=Λ⁻¹C^(T)Δ^(T)Δ d is a vector composed of dependent mean values for the parameters.

The matrix C and the vector d characterize the linear relationships between the parameters of the parameter vector Θ given by C Θ= d and Δ is a covariance precision matrix. For example, consider the template 300 described above with reference to FIGS. 3A-3B. Suppose hypothetically the parameters of the parameter vector Θ represented in FIG. 3B are linearly related by the following equations: 0.2θ_(f)+3.1θ_(p)≈−1.4, and 1.8θ_(f)−0.7θ_(fp)+1.1θ_(p)≈3.1 Thus, in matrix notation, these two equations can be represented as follows:

${C\;\overset{\_}{\Theta}} = {{\begin{bmatrix} 0.2 & 0 & 3.1 \\ 1.8 & {- 0.7} & 1.1 \end{bmatrix}\begin{bmatrix} \theta_{f} \\ \theta_{fp} \\ \theta_{p} \end{bmatrix}} = {\begin{bmatrix} {{- 1.}4} \\ {\mspace{14mu}{3.1}} \end{bmatrix} = \overset{\_}{d}}}$

Returning to equation (4), the term P( W, H, x, y| Θ) is the conditional probability of an event composed of W, H, x, and y given the occurrence of the parameters of the parameter vector Θ. In certain embodiments, the term P( W, H, x, y| Θ) can be characterized as follows:

$\begin{matrix} {{{P\left( {\overset{\_}{W},\overset{\_}{H},\overset{\_}{x},\left. \overset{\_}{y} \middle| \overset{\_}{\Theta} \right.} \right)} \propto {\prod\limits_{i}{\prod\limits_{j}{{N\left( {\left. W_{i} \middle| {{\overset{\_}{\Theta}}^{T}{\overset{\_}{x}}_{i}} \right.,\alpha_{i}^{- 1}} \right)}{N\left( {\left. H_{j} \middle| {{\overset{\_}{\Theta}}^{T}{\overset{\_}{y}}_{j}} \right.,\beta_{j}^{- 1}} \right)}}}}}\mspace{20mu}{where}\mspace{20mu}{{{N\left( {\left. W_{i} \middle| {{\overset{\_}{\Theta}}^{T}{\overset{\_}{x}}_{i}} \right.,\alpha_{i}^{- 1}} \right)} \propto {\exp\left( {{- \frac{\alpha_{i}}{2}}\left( {{{\overset{\_}{\Theta}}^{T}{\overset{\_}{x}}_{i}} - W_{i}} \right)^{2}} \right)}},{and}}\mspace{20mu}{{N\left( {\left. H_{j} \middle| {{\overset{\_}{\Theta}}^{T}{\overset{\_}{y}}_{j}} \right.,\beta_{j}^{- 1}} \right)} \propto {{\exp\left( {{- \frac{\beta_{j}}{2}}\left( {{{\overset{\_}{\Theta}}^{T}{\overset{\_}{y}}_{j}} - H_{j}} \right)^{2}} \right)}.}}} & {{Equation}\mspace{20mu}(2)} \end{matrix}$ are normal probability distributions. The variables α_(i) ⁻¹ and β_(j) ⁻¹ are variances and W_(i) and H_(j) represent mean values for the distributions N(W_(i)| Θ ^(T) x _(i),α_(i) ⁻¹) and N(H_(j)| Θ ^(T) y _(j),β_(j) ⁻¹), respectively. Normal distributions can be used to characterize, at least approximately, the probability distribution of a variable that tends to cluster around the mean. In other words, variables close to the mean are more likely to occur than are variables farther from the mean. The normal distributions N(W_(i)| Θ ^(T) x _(i),α_(i) ⁻¹) and N(H_(j)| Θ ^(T) y _(j),β_(j) ⁻¹) characterize the probability distributions of the variables W_(i) and H_(j) about the mean values Θ ^(T) x _(i) and Θ ^(T) y _(j), respectively.

For the sake of discussion, consider just the distribution N(W_(i)| Θ ^(T) x _(i),α_(i) ⁻¹). FIG. 8 shows exemplary plots of N(W_(i)| Θ ^(T) x _(i),α_(i) ⁻¹) represented by curves 802-804, each curve representing the normal distribution N(W_(i)| Θ ^(T) x _(i),α_(i) ⁻¹) for three different values of the variance α_(i) ⁻¹. Comparing curves 802-804 reveals that curve 802 has the smallest variance and the narrowest distribution about Θ ^(T) x _(i), curve 804 has the largest variance and the broadest distribution about Θ ^(T) x _(i), and curve 803 has an intermediate variance and an intermediate distribution about Θ ^(T) x _(i). In other words, the larger the variance α_(i) ⁻¹ the broader the distribution N(W_(i)| Θ ^(T) x _(i),α_(i) ⁻¹) about Θ ^(T) x _(i), and the smaller the variance α_(i) ⁻¹ the narrower the distribution N(W_(i)| Θ ^(T) x _(i),α_(i) ⁻¹) about Θ ^(T) x _(i). Note that all three curves 802-804 also have corresponding maxima 806-808 centered about Θ ^(T) x _(i). Thus, when Θ ^(T) x _(i) equals W_(i) (i.e, Θ ^(T) x _(i)−W_(i)=0), the normal distribution N(W_(i)| Θ ^(T) x _(i),α_(i) ⁻¹) is at a maximum value. The same observations can also be made for the normal distribution N(H_(j)| Θ ^(T) y _(j),β_(j) ⁻¹).

The posterior probability P( Θ| W, H, x, y) can be maximized when the exponents of the normal distributions of equation (2) satisfy the following conditions: Θ ^(T) x _(i) −W _(i)≈0 and Θ ^(T) y _(j) −H _(j)≈0 for all i and j. As described above, for a template, W_(i) and H_(j) are constants and the elements of x _(i) and y _(j) are constants. These conditions are satisfied by determining a parameter vector Θ ^(MAP) that maximizes the posterior probability P( Θ| W, H, x, y). The parameter vector Θ ^(MAP) can be determined by rewriting the posterior probability P( Θ| W, H, x, y) as a multi-variate normal distribution with a well-characterized mean and variance as follows:

${P\left( {\left. \overset{\_}{\Theta} \middle| \overset{\_}{W} \right.,\overset{\_}{H},\overset{\_}{x},\overset{\_}{y}} \right)} = {N\left( {\left. \overset{\_}{\Theta} \middle| {\overset{\_}{\Theta}}^{MAP} \right.,\left( {\Lambda + {\sum\limits_{i}{\alpha_{i}{\overset{\_}{x}}_{i}{\overset{\_}{x}}_{i}^{T}}} + {\sum\limits_{j}{\beta_{j}{\overset{\_}{y}}_{j}{\overset{\_}{y}}_{j}^{T}}}} \right)^{- 1}} \right)}$ The parameter vector Θ ^(MAP) is the mean of the normal distribution characterization of the posterior probability P( Θ| W, H, x, y), and Θ maximizes P( Θ| W, H, x, y) when Θ equals Θ ^(MAP). Solving P( Θ| W, H, x, y) for Θ ^(MAP) gives the following closed form expression:

${\overset{\_}{\Theta}}^{MAP} = {\left( {\Lambda + {\sum\limits_{i}{\alpha_{i}{\overset{\_}{x}}_{i}{\overset{\_}{x}}_{i}^{T}}} + {\sum\limits_{j}{\beta_{j}{\overset{\_}{y}}_{j}{\overset{\_}{y}}_{i}^{T}}}} \right)^{- 1}\left( {{\Lambda\;\overset{\_}{\Theta}} + {\sum\limits_{i}{\alpha_{i}W_{i}{\overset{\_}{x}}_{i}}} + {\sum\limits_{j}{\beta_{j}H_{j}{\overset{\_}{y}}_{j}}}}\; \right)}$ The parameter vector Θ ^(MAP) can also be rewritten in matrix from as follows: Θ ^(MAP) =A ⁻¹ b where

$A = {\Lambda + {\sum\limits_{i}{\alpha_{i}{\overset{\_}{x}}_{i}{\overset{\_}{x}}_{i}^{T}}} + {\sum\limits_{j}{\beta_{j}{\overset{\_}{y}}_{j}{\overset{\_}{y}}_{j}^{T}}}}$ is a matrix and A⁻¹ is the inverse of A, and

$\overset{\_}{b} = {{\Lambda\;\overset{\_}{\Theta}} + {\sum\limits_{i}{\alpha_{i}W_{i}{\overset{\_}{x}}_{i}}} + {\sum\limits_{j}{\beta_{j}H_{j}{\overset{\_}{y}}_{j}}}}$ is a vector.

In summary, given a single page template and figures to be placed in the image fields of the template, the parameters used to scale the images and white spaces of the template can be determined from the closed form equation for Θ ^(MAP).

Once the parameters of the parameter vector Θ ^(MAP) are determined using the closed form equation for Θ ^(MAP), the template can be rendered by multiplying un-scaled dimensions of the images and widths of the white spaces by corresponding parameters of the parameter vector Θ ^(MAP).

The elements of the parameter vector Θ ^(MAP) may also be subject to boundary conditions on the image fields and white space dimensions arising from the minimum width constraints for the margins. In other embodiments, in order to determine Θ ^(MAP) subject to boundary conditions, the vectors x ₁, x ₂, y ₁, and y ₂, the variances α₁ ⁻¹, α₂ ⁻¹, and β₁ ⁻¹, and β₂ ⁻¹, the constants W₁, W₂, H₁, and H₂ are inserted into the linear equation A Θ ^(MAP)= b, and the matrix equation solved numerically for the parameter vector Θ ^(MAP) subject to the boundary conditions on the parameters of Θ ^(MAP). The matrix equation A Θ ^(MAP)= b can be solved using any well-known numerical method for solving matrix equations subject to boundary conditions on the vector Θ ^(MAP), such as the conjugate gradient method.

Implementation

FIGS. 9-11 show control-flow diagrams summarizing computational steps of just one method using belief propagation in an automated process of generating a document layout. Embodiments of the present invention are not limited to the specific order in which the following steps are presented. In other embodiments, the order in which the steps are performed can be changed without deviating from the scope of embodiments of the present invention described herein.

FIG. 9 shows a control-flow diagram of a method for generating a document layout in accordance with embodiments of the present invention. In step 901, a raw list of figures, text, references, and semantic information is input, as described above with reference to FIG. 6. The raw input of step 901 does not include instructions regarding which text, figures, and references are to be selected for each page or even how text, figures, and references are to be arranged on each page. In step 902, a library of templates is input, as described above with reference to FIG. 6. In step 903, mean values corresponding to the widths W₁ and H₁, the variances α_(i) ⁻¹ and β_(j) ⁻¹, and bounds for the parameters of the parameter vector Θ can also be input with the library of template. In step 904, a style sheet corresponding to the document's overall appearance is input. The style sheet may include (1) a typeface, character size, and colors for headings, text, and background; (2) format for how front matter, such as preface, figure list, and title page should appear; (3) format for how sections can be arranged in terms of space and number of columns, line spacing, margin widths on all sides, and spacing between headings just to name a few; and (4) any boilerplate content included on certain pages, such as copyright statements. The style sheet typically applies to the entire document. As necessary, specific elements of the style sheet may be overridden for particular sections of the document. In step 905, a subroutine called “determine document layout” is called. The subroutine uses an automated method for determining an optimized document layout described below with reference to FIG. 9. In step 906, a document with an optimized layout is output. The document layout includes an optimized allocation of text and images per page, optimized templates for each page, and optimized scaling of images and other design elements including whitespaces. In step 907, steps 901-906 can be repeated for a different document.

FIG. 10 shows a control-flow diagram of a method corresponding to the subrountine “determine document layout” called in step 905 of FIG. 9 in accordance with embodiments of the present invention. In step 1001, the φ's associated with equation (1) are computed. The φ's can be determined as described using a local conditional page model that is the product of layout quality, reference quality, and page qualities probabilities whose parameters are set by the document designer. In step 1002, a set of τ's are determined recursively as described above. In step 1003, optimal allocations A₀*, A₁*, . . . , A_(P)*, that contribute to P*({T_(j)},{ Θ _(j)},{A_(j)}) are determined using reverse recursion, as described above. Step 1004 if a for-loop that repeats steps 1005-1007 for each page of the document. In step 1005, a template is determined using equation (2). In step 1006, a subroutine “determine parameters” is called. This subroutine produces a set of optimized template parameters for each template determined in step 1005. In step 1007, a page is rendered with the optimized template and corresponding template parameters. The template page can be rendered by exhibiting the page on monitor, television set, or any other suitable display, or the template page can be rendered by printing the page on a sheet of paper. In step 1008, when the document includes another page, steps 1005-1007 are repeated, otherwise the subroutine returns to “determine document layout” in FIG. 9.

FIG. 11 shows a control-flow diagram of a method corresponding to the subrountine “determine parameters” called in step 1006 of FIG. 10 in accordance with embodiments of the present invention. In step 1101, streams of text and figures data associated with an allocation are input. In step 1102, a template corresponding to the page determined in step 1005 of FIG. 10 is retrieved. In step 1103, elements of the vectors W, H, x, and y are determined as described in the subsection Template Parameters. Mean values mean values Θ ^(T) x _(i) and Θ ^(T) y _(j), variances α_(i) ⁻¹ and β_(j) ⁻¹, and bounds for the parameters of the parameter vector Θ input in step 903 of FIG. 9 are retrieved for computation in the following step. In step 1104, the parameter vector Θ ^(MAP) that maximizes the posterior probability P( Θ| W, H, x, y) is determined as described above. Elements of the parameter vector Θ ^(MAP) can be determined by solving the matrix equation A Θ ^(MAP)= b for Θ ^(MAP) using the conjugate gradient method or any other well-known matrix equation solver where the elements of the vector Θ ^(MAP) are subject to boundary conditions, such as minimum constraints placed on the margins. In step 1105, once the parameter vector Θ ^(MAP) is determined, rescaled dimensions of the figures and widths of the white spaces can be obtained by multiplying dimensions of the template elements by the corresponding parameters of the parameter vector Θ ^(MAP). In step 1106, the subroutine returns to the subroutine “determine document layout” of FIG. 10.

In general, the automated methods of the present invention for generating a document layout described above can be implemented on a computing device, such as a desktop computer, a laptop, or any other suitable device configured to carrying out the processing steps of a computer program. FIG. 12 shows a schematic representation of a computing device 1200 configured in accordance with embodiments of the present invention. The device 1200 may include one or more processors 1202, such as a central processing unit; one or more display devices 1204, such as a monitor; a printer 1206 for printing a document; one or more network interfaces 1208, such as a Local Area Network LAN, a wireless 802.11x LAN, a 3G mobile WAN or a WiMax WAN; and one or more computer-readable mediums 1210. Each of these components is operatively coupled to one or more buses 1212. For example, the bus 1212 can be an EISA, a PCI, a USB, a FireWire, a NuBus, or a PDS.

The computer readable medium 1210 can be any suitable medium that participates in providing instructions to the processor 1202 for execution. For example, the computer readable medium 1210 can be non-volatile media, such as firmware, an optical disk, a magnetic disk, or a magnetic disk drive; volatile media, such as memory; and transmission media, such as coaxial cables, copper wire, and fiber optics. The computer readable medium 1210 can also store other software applications, including word processors, browsers, email, Instant Messaging, media players, and telephony software.

The computer-readable medium 1210 may also store an operating system 1214, such as Mac OS, MS Windows, Unix, or Linux; network applications 1216; and a document layout application 1218 that performs the methods of the present invention. The operating system 1214 can be multi-user, multiprocessing, multitasking, multithreading, real-time and the like. The operating system 1214 can also perform basic tasks such as recognizing input from input devices, such as a keyboard, a keypad, or a mouse; sending output to the display 1204 and the printer 1206; keeping track of files and directories on medium 1210; controlling peripheral devices, such as disk drives, printers, image capture device; and managing traffic on the one or more buses 1212. The network applications 1216 includes various components for establishing and maintaining network connections, such as software for implementing communication protocols including TCP/IP, HTTP, Ethernet, USB, and FireWire.

A document layout application 1218 provides various software components for automatically generating a document layout, as described above. In certain embodiments, some or all of the processes performed by the application 1218 can be integrated into the operating system 1214. In certain embodiments, the processes can be at least partially implemented in digital electronic circuitry, or in computer hardware, firmware, software, or in any combination thereof.

The foregoing description, for purposes of explanation, used specific nomenclature to provide a thorough understanding of the invention. However, it will be apparent to one skilled in the art that the specific details are not required in order to practice the invention. The foregoing descriptions of specific embodiments of the present invention are presented for purposes of illustration and description. They are not intended to be exhaustive of or to limit the invention to the precise forms disclosed. Obviously, many modifications and variations are possible in view of the above teachings. The embodiments are shown and described in order to best explain the principles of the invention and its practical applications, to thereby enable others skilled in the art to best utilize the invention and various embodiments with various modifications as are suited to the particular use contemplated. It is intended that the scope of the invention be defined by the following claims and their equivalents: 

The invention claimed is:
 1. A method for generating a document layout using a computing device, the method comprising: receiving raw text, figures, references, and semantic information as input, wherein the semantic information further comprises information regarding which blocks of text correspond to particular figures, and which blocks of text correspond to particular references and does not include instructions for allocating or arranging text, figures, and references to pages of the document; for each page of the document: determining an allocation of text, figures, and references based at least on the received semantic information; determining a template for displaying the allocation assigned to the page; and scaling template fields to exhibit the text, figured, and references assigned to the page, wherein scaling the template fields comprises computing a template parameter vector that maximizes a probabilistic characterization of the one or more figures and white space dimensions of a template, wherein the allocation, template, and template parameter vector maximize a joint probability distribution associated with the conditional probabilities of a Bayesian network characterization of the independency structure of the allocation, template, and template parameter vector; and rendering the document with text, figures, and references allocated to each page within appropriate scaled template fields of the template selected for each page.
 2. The method of claim 1 wherein determining the allocation further comprises determining layout quality, reference quality, and page quantity probability distributions.
 3. The method of claim 1 wherein determining the allocation further comprises limiting misplaced allocation of references to pages that are different from pages containing text and figures associated with the references.
 4. The method of claim 1 wherein determining the all further comprises constraining overall number of pages in the document.
 5. The method of claim 1 wherein determining the allocation of text, figures, and references for each further comprises assigning the text blocks that reference figures to appear on the same page.
 6. A computer-readable non-transitory medium having instructions encoded therein for enabling a processor of a computing device to perform the operations of: receiving raw text, figures, references, and semantic information as input, wherein the semantic information further comprises information regarding which blocks of text correspond to particular figures, and which blocks of text correspond to particular references and does not include instructions for allocating or arranging text, figures, and references to pages of the document; for each page of the document: determining an allocation of text, figures, and references based at least on the received semantic information; determining a template for displaying the allocation assigned to the page; and scaling template fields to exhibit the text, figured, and references assigned to the page, wherein scaling the template fields comprises computing a template parameter vector that maximizes a probabilistic characterization of the one or more figures and white space dimensions of a template, wherein the allocation, template, and template parameter vector maximize a joint probability distribution associated with the conditional probabilities of a Bayesian network characterization of the independency structure of the allocation, template, and template parameter vector; and rendering the document with text, figures, and references allocated to each page within appropriate scaled template fields of the template selected for each page.
 7. The computer-readable not transitory medium of claim 6 wherein determining the allocation further comprises limiting misplaced allocation of references to pages that are different from pages containing text and figures associated with the references.
 8. The computer-readable non-transitory medium of claim 6 wherein determining the allocation further comprises constraining overall number of pages in the document.
 9. The computer-readable non-transitory medium of claim 6 wherein determining the allocation of text, figures, and references for each further comprises assigning the text blocks that reference figures to appear on the same page. 